-
1 класс исчислений
клас чи́сленьРусско-украинский политехнический словарь > класс исчислений
-
2 класс исчислений
клас чи́сленьРусско-украинский политехнический словарь > класс исчислений
-
3 класс
астр., матем., техн., физ.клас, -су- арифметический класс
- аустенитный класс
- базисный класс
- бесконечный класс
- бэров класс
- гомотопический класс
- двойственный класс
- двухсторонний класс
- двусторонний класс
- дедекиндов класс
- единичный класс
- класс богатства
- класс гомологий
- класс дивизоров
- класс идеалов
- класс исчислений
- класс кобордизма
- класс множеств
- класс неисправностей
- класс нильпотентности
- класс остатков
- класс отображений
- класс погрешности
- класс подстановок
- класс прерываний
- класс распределения
- конечный класс
- мартенситный класс
- непересекающиеся классы
- нормальный класс
- ограниченный класс
- особенный класс
- поздний класс
- полный класс
- пустой класс
- ранний класс
- расщеплённый класс
- редукционные классы
- смежный класс
- собственный класс
- сопряжённые классы
- спектральный класс
- типовой класс
- ферритный класс
- фундаментальный класс
- хорновский класс -
4 класс
астр., матем., техн., физ.клас, -су- арифметический класс
- аустенитный класс
- базисный класс
- бесконечный класс
- бэров класс
- гомотопический класс
- двойственный класс
- двухсторонний класс
- двусторонний класс
- дедекиндов класс
- единичный класс
- класс богатства
- класс гомологий
- класс дивизоров
- класс идеалов
- класс исчислений
- класс кобордизма
- класс множеств
- класс неисправностей
- класс нильпотентности
- класс остатков
- класс отображений
- класс погрешности
- класс подстановок
- класс прерываний
- класс распределения
- конечный класс
- мартенситный класс
- непересекающиеся классы
- нормальный класс
- ограниченный класс
- особенный класс
- поздний класс
- полный класс
- пустой класс
- ранний класс
- расщеплённый класс
- редукционные классы
- смежный класс
- собственный класс
- сопряжённые классы
- спектральный класс
- типовой класс
- ферритный класс
- фундаментальный класс
- хорновский класс
См. также в других словарях:
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
ЗАКОН ЛОГИЧЕСКИЙ — ЗАКОН ЛОГИЧЕСКИЙ общее название законов, образующих основу логической дедукции. Понятие о законах логики восходит к древнегреческому понятию о logos e как предпосылке объективной (“природной”) правильности рассуждений. Собственно логическое… … Философская энциклопедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
ПАРА НЕПРОТИВОРЕЧИВАЯ — ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора возле, вне) класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места. Термин “паранепротиворечивая логика” введен в 1976 перуанским философом… … Философская энциклопедия
ПАРАНЕПРОТИВОРЕЧИВАЯ — логика (греч. παρά – возле, вне) – класс логических исчислений, в которых логический принцип «из противоречия следует все, что угодно», не имеет места. Термин «паранепротиворечивая логика» введен в 1976 перуанским философом Ф.Миро Квисада.… … Философская энциклопедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки